Proper subsemiautomaton

Translation proper subsemiautomaton into russian

A proper subsemiautomaton does not contain all the states of the original semiautomaton.

Собственный подсемиавтомат не содержит все состояния исходного семиавтомата.